High-Speed Event-Driven RTL Compiled Simulation

نویسندگان

  • Alexey Kupriyanov
  • Frank Hannig
  • Jürgen Teich
چکیده

In this paper we present a new approach for generating high-speed optimized event-driven register transfer level (RTL) compiled simulators. The generation of the simulators is part of our BUILDABONG [7] framework, which aims at architecture and compiler co-generation for special purpose processors. The main focus of the paper is on the transformation of a given architecture’s circuit into a graph and applying on it an essential graph decomposition algorithm to transform the graph into subgraphs denoting the minimal subsets of sequential elements which have to be reevaluated during each simulation cycle. As a second optimization, we present a partitioning algorithm, which introduces intermediate registers to minimize the number of evaluations of combinational nodes during a simulation cycle. The simulator’s superior performance compared to an existing commercial simulator is shown. Finally, we demonstrate the pertinence of our approach by simulating a MIPS processor.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automatic and Optimized Generation of Compiled High-Speed RTL Simulators

In this paper we focus on the derivation of optimal code when generating high-speed event-driven compiled simulators for processor architectures described on register transfer level (RTL). The simulators’ generation is part of a framework, which aims at architecture and compiler co-generation for special purpose processors. The main contribution of this paper is an efficient algorithm to genera...

متن کامل

Lecsim: a Levelized Event Driven Compiled Logic Simulator*

LECSIM is a highly efficient logic simulator which integrates the advantages of event driven interpretive simulation and levelized compiled simulation. Two techniques contribute to the high efficiency. First it employs the zerodelay simulation model with levelized event scheduling to eliminate most unnecessary evaluations. Second, it compiles the central event scheduler into simple local schedu...

متن کامل

A C-Based RTL Design Veri cation Methodology for Complex Microprocessor

As the complexity of high-performance microprocessor increases, functional veri cation becomes more and more difcult and RTL simulation emerges as the bottleneck of the design cycle. In this paper, we suggest C language-based design and veri cation methodology to enhance the simulation speed instead of the conventional HDL-based methodologies. RTL C model(StreC) describes the cycle-based behavi...

متن کامل

A Compiled-code Simulator with Reduced Edge Evaluation

Two major approaches for the digital design simulation can be classified into event-driven and levelized-code method. The drawback of event-driven simulation is low efficiency while the levelized-code simulation has problems in supporting asynchronous design. Since most digital designs are synchronous digital we implemented a levelizedcode simulator targeting synchronous digital design. Leveliz...

متن کامل

A Compiled-Code Parallel Pattern Logic Simulator With Inertial Delay Model

This paper presents a parallel pattern compiled code logic simulator which can handle the transport delay as well as the inertial delay of the logic gate. It uses Potential-Change Frame, incorporating inertial functions, to execute event-canceling operation of gates, thus eliminating the conventional time wheel mechanism. As a result, it can adopt the parallel pattern strategy to increase the s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004